49.86/50.03	unsat
