3.85/3.95	unsat
