3.87/3.92	unsat
