15.34/19.65	unsat
