13.96/14.02	unsat
