16.86/18.15	unsat
