12.86/12.95	unsat
