15.27/19.54	unsat
