15.98/18.44	unsat
