6.57/11.53	unsat
