13.89/14.04	unsat
