6.47/11.67	unsat
