13.18/14.02	unsat
