3.79/3.82	unsat
