3.84/4.95	unsat
