5.00/5.07	unsat
