13.87/13.90	unsat
