18.59/21.86	unsat
