13.87/14.11	unsat
