15.34/19.20	unsat
