18.54/20.57	unsat
