5.05/7.03	unsat
