5.21/7.67	unsat
