13.18/17.02	unsat
