3.89/3.95	unsat
