7.18/12.53	unsat
