13.90/14.04	unsat
