10.86/14.01	unsat
