3.77/3.84	unsat
