10.86/13.04	unsat
