13.66/14.40	unsat
