3.89/4.67	unsat
