5.05/5.07	unsat
