3.08/4.79	unsat
