6.27/12.53	unsat
