3.27/3.67	unsat
