3.67/3.75	unsat
