11.67/15.53	unsat
