18.68/21.48	unsat
