3.08/5.42	unsat
