10.08/12.53	unsat
