5.08/6.39	unsat
