18.86/20.40	unsat
