11.54/18.02	unsat
