12.86/14.92	unsat
