5.13/6.03	unsat
