15.37/19.54	unsat
