18.14/20.32	unsat
