14.86/16.95	unsat
