18.63/21.09	unsat
