3.84/4.67	unsat
