13.34/15.72	unsat
