3.84/3.95	unsat
