3.79/3.83	unsat
