214.86/214.94	unsat
