4.79/7.67	unsat
