13.87/13.95	unsat
