15.27/19.51	unsat
