13.86/16.16	unsat
