14.86/14.95	unsat
