13.87/13.99	unsat
