13.86/13.99	unsat
