13.86/17.95	unsat
