13.52/16.82	unsat
