11.86/13.97	unsat
