3.72/3.91	unsat
