5.30/7.03	unsat
