14.86/14.94	unsat
