13.99/17.40	unsat
